| Name | Version | Summary | date |
|---|---|---|---|
| verifiNN | 0.0.0.dev10 | A package for robustness verification of neural networks using optimization methods. | 2023-06-03 19:32:27 |
| PICOS | 2.4.17 | A Python interface to conic optimization solvers. | 2023-03-26 08:04:53 |
| hour | day | week | total |
|---|---|---|---|
| 56 | 1077 | 9397 | 219139 |